satune.git
6 years agoChanges
bdemsky [Mon, 19 Jun 2017 22:58:58 +0000 (15:58 -0700)]
Changes

6 years agoAdd some notes
bdemsky [Mon, 19 Jun 2017 21:15:45 +0000 (14:15 -0700)]
Add some notes

6 years agoedits
bdemsky [Mon, 19 Jun 2017 20:32:50 +0000 (13:32 -0700)]
edits

6 years agoStart work on Naive Encoders
bdemsky [Mon, 19 Jun 2017 07:07:07 +0000 (00:07 -0700)]
Start work on Naive Encoders

6 years agoFix some things that C++ doesn't like so we don't lose the possibility to use the...
bdemsky [Sat, 17 Jun 2017 07:11:57 +0000 (00:11 -0700)]
Fix some things that C++ doesn't like so we don't lose the possibility to use the C++ compiler in the future

6 years agoImplement CPython strategy
bdemsky [Sat, 17 Jun 2017 06:34:50 +0000 (23:34 -0700)]
Implement CPython strategy

6 years agoUse union in Boolean to save space
bdemsky [Sat, 17 Jun 2017 05:54:03 +0000 (22:54 -0700)]
Use union in Boolean to save space

6 years agoFix Warnings
bdemsky [Sat, 17 Jun 2017 04:51:07 +0000 (21:51 -0700)]
Fix Warnings

6 years agocommit after resolving conflicts
Hamed [Fri, 16 Jun 2017 23:42:33 +0000 (16:42 -0700)]
commit after resolving conflicts

6 years agoadding TableEntries and ...
Hamed [Fri, 16 Jun 2017 23:40:03 +0000 (16:40 -0700)]
adding TableEntries and ...

6 years agoedits
bdemsky [Fri, 16 Jun 2017 20:19:59 +0000 (13:19 -0700)]
edits

6 years agoedits
bdemsky [Fri, 16 Jun 2017 20:13:56 +0000 (13:13 -0700)]
edits

6 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler
Hamed [Fri, 16 Jun 2017 19:04:05 +0000 (12:04 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler

6 years agoCommit after resolving conflicts
Hamed [Fri, 16 Jun 2017 19:03:16 +0000 (12:03 -0700)]
Commit after resolving conflicts

6 years agorename
bdemsky [Fri, 16 Jun 2017 18:44:06 +0000 (11:44 -0700)]
rename

6 years agoFix final makefile target
bdemsky [Fri, 16 Jun 2017 18:41:04 +0000 (11:41 -0700)]
Fix final makefile target

6 years agoFix tabbing on everything
bdemsky [Fri, 16 Jun 2017 18:38:56 +0000 (11:38 -0700)]
Fix tabbing on everything

6 years agoFix freelist management
bdemsky [Fri, 16 Jun 2017 18:35:45 +0000 (11:35 -0700)]
Fix freelist management

6 years agoFix warnings
bdemsky [Fri, 16 Jun 2017 18:19:19 +0000 (11:19 -0700)]
Fix warnings

6 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
bdemsky [Fri, 16 Jun 2017 18:15:45 +0000 (11:15 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

6 years agoadding fucntion's fields
Hamed [Fri, 16 Jun 2017 17:44:21 +0000 (10:44 -0700)]
adding fucntion's fields

6 years agoPartial commit for Boolean, Predicate, and Order
Hamed [Fri, 16 Jun 2017 17:01:08 +0000 (10:01 -0700)]
Partial commit for Boolean, Predicate, and Order

6 years agoFix functionencoder to have correct pointers...
bdemsky [Fri, 16 Jun 2017 06:27:39 +0000 (23:27 -0700)]
Fix functionencoder to have correct pointers...

6 years agoAdd Encoder changes
bdemsky [Fri, 16 Jun 2017 06:18:33 +0000 (23:18 -0700)]
Add Encoder changes

6 years agoAdd placeholders for encoders
bdemsky [Fri, 16 Jun 2017 04:45:23 +0000 (21:45 -0700)]
Add placeholders for encoders

6 years agoAdd Some Papers
bdemsky [Fri, 16 Jun 2017 00:47:18 +0000 (17:47 -0700)]
Add Some Papers

6 years agoConfigure Doxygen Better for C
bdemsky [Fri, 16 Jun 2017 00:36:45 +0000 (17:36 -0700)]
Configure Doxygen Better for C

6 years agoReorg code
bdemsky [Fri, 16 Jun 2017 00:22:39 +0000 (17:22 -0700)]
Reorg code

6 years agocommit after resolving conflicts
Hamed [Thu, 15 Jun 2017 19:56:05 +0000 (12:56 -0700)]
commit after resolving conflicts

6 years agoImplementing client interfaces regarding Sets
Hamed [Thu, 15 Jun 2017 19:15:58 +0000 (12:15 -0700)]
Implementing client interfaces regarding Sets

6 years agoAdd Set AST Constructor
bdemsky [Thu, 15 Jun 2017 06:14:13 +0000 (23:14 -0700)]
Add Set AST Constructor

6 years agochange tabbing
bdemsky [Thu, 15 Jun 2017 06:00:28 +0000 (23:00 -0700)]
change tabbing

6 years agofix makefile
bdemsky [Thu, 15 Jun 2017 05:37:47 +0000 (22:37 -0700)]
fix makefile

6 years agoClean up code and make delete the convention for functions that free structs
bdemsky [Thu, 15 Jun 2017 05:01:51 +0000 (22:01 -0700)]
Clean up code and make delete the convention for functions that free structs

6 years agoConvert constraint.c to C
bdemsky [Thu, 15 Jun 2017 04:41:13 +0000 (21:41 -0700)]
Convert constraint.c to C

6 years agoChanges
bdemsky [Thu, 15 Jun 2017 03:34:17 +0000 (20:34 -0700)]
Changes

6 years agoFinish rewriting Set/Table/Vector
bdemsky [Thu, 15 Jun 2017 03:30:03 +0000 (20:30 -0700)]
Finish rewriting Set/Table/Vector

6 years agoConvert HashSet
bdemsky [Thu, 15 Jun 2017 01:04:13 +0000 (18:04 -0700)]
Convert HashSet

6 years agoConvert Hashtable
bdemsky [Thu, 15 Jun 2017 00:31:06 +0000 (17:31 -0700)]
Convert Hashtable

6 years agoswitch to C
bdemsky [Wed, 14 Jun 2017 23:51:13 +0000 (16:51 -0700)]
switch to C

6 years agoSwitch to C for Zach
bdemsky [Wed, 14 Jun 2017 22:44:45 +0000 (15:44 -0700)]
Switch to C for Zach

6 years agomend
bdemsky [Wed, 14 Jun 2017 22:21:14 +0000 (15:21 -0700)]
mend

6 years agoSplit Boolean into separate file
bdemsky [Wed, 14 Jun 2017 22:15:34 +0000 (15:15 -0700)]
Split Boolean into separate file

6 years agoedits
bdemsky [Wed, 14 Jun 2017 21:54:45 +0000 (14:54 -0700)]
edits

6 years agofix tabbing
bdemsky [Wed, 14 Jun 2017 21:53:07 +0000 (14:53 -0700)]
fix tabbing

6 years agoInitial Skeletons
bdemsky [Wed, 14 Jun 2017 21:49:14 +0000 (14:49 -0700)]
Initial Skeletons

6 years agoAdding set and other types
hamed [Wed, 14 Jun 2017 19:52:43 +0000 (12:52 -0700)]
Adding set and other types

6 years agoAdding .gitignore
Hamed Gorjiara [Mon, 29 May 2017 19:29:57 +0000 (12:29 -0700)]
Adding .gitignore

6 years agoBase Commit
bdemsky [Sat, 27 May 2017 01:48:59 +0000 (18:48 -0700)]
Base Commit