Commits

History for

Commits on Apr 24, 2025

Dev/remove libhandler (#847)
ankushdesai
authored
55a1199

Commits on Apr 26, 2022

Updated the P Syntax file
ankushdesai
committed
1918001

Commits on Mar 25, 2021

Remove the check for cyclic dependencies.
ankushdesai
committed
b25f2f3

Commits on Nov 12, 2019

Added Settings file for Syntax Highlightling
ankushdesai
committed
98ead1a

Commits on Feb 11, 2019

updating dependency
shazqadeer
committed
b673b6d

Commits on Oct 18, 2018

Removing P# submodule. Switching to Nuget package.
alexreinking
committed
e1939cb

Commits on Oct 1, 2018

Adding tests for P# compiler. Porting old C# PrtValues to use in P# backend. C# generics are too restricted for correct cloning/equality testing.
alexreinking
committed
a00a47f

Commits on Sep 21, 2018

Adding test for correct return behavior in receive. Fixing bug that found.
alexreinking
committed
564ce52

Commits on Sep 13, 2018

updated the versions of libhandler and psharp
ankushdesai
committed
543e3e0

Commits on Sep 12, 2018

Updated the PSharp Repo
ankushdesai
committed
88ec612
add psharp as submodule
ankushdesai
committed
0b73b32

Commits on Aug 6, 2018

updating libhandler version
alexreinking
committed
dad29b0

Commits on Jul 26, 2018

switching to libhandler master
alexreinking
committed
e22afde

Commits on Jul 22, 2018

registering Prt mallocs with libhandler
alexreinking
committed
0e8be8a

Commits on Jul 21, 2018

adding libhandler
alexreinking
committed
01832fa
adding libhandler submodule
alexreinking
committed
50d4ece

Commits on Jun 26, 2018

Did some more clean up of the unwanted files.
ankushdesai
committed
5da1479

Commits on Jun 25, 2018

removed git submodule dependency on PSharp;
Shaz Qadeer
committed
d476157
removed P visualizer
Shaz Qadeer
committed
168d4b7
removed submodule dependency on Formula
Shaz Qadeer
committed
7d0584d

Commits on Feb 21, 2018

fixing gardens point
alexreinking
committed
d604ecb
updating PSharp repo version
alexreinking
committed
9bf0f72
updating submodules
alexreinking
committed
a0450a5
updates to work with the new psharp version
ankushdesai
committed
3eade30
configuring NuGet deps on P#
alexreinking
committed
0260152

Commits on Feb 20, 2018

more csproj porting
alexreinking
committed
57d7180
updated formula to work with .NET core
alexreinking
committed
e48b471

Commits on Jul 18, 2017

updated PSharp
Shaz Qadeer
committed
1580c6a
updated PSharp
Shaz Qadeer
committed
3a2ed9b

Commits on Jul 13, 2017

updated Psharp
Shaz Qadeer
committed
911d575

Commits on Jul 12, 2017

Revert "updated the Pbuild.sh"
ankushdesai
committed
6cc43dd
updated the Pbuild.sh
Ankush Desai
committed
ec5e9c1

Commits on May 25, 2017

reverted the update to P# version
ankushdesai
committed
92ae721
Allow using msbuild instead of xbuild
ficoos
committed
c288098

Commits on Apr 3, 2017

fixed some parsing rules
Shaz Qadeer
committed
d635856