Skip to content

Activity

Showing most recent first

fix subst + add nodes from inclusion graph in correct sets

jurajsicpushed 1 commit to trans-dec-proc • f12c5ef…f10d2ae • 
2 days ago

add handling of empty string in transducer processing

jurajsicpushed 1 commit to trans-dec-proc • 93f2479…f12c5ef • 
2 days ago

update substitution for transducers

jurajsicpushed 1 commit to trans-dec-proc • fe7f56f…93f2479 • 
3 days ago

handle transducers in init

jurajsicpushed 1 commit to trans-dec-proc • 40816bb…fe7f56f • 
3 days ago

add simple processing of transducers

jurajsicpushed 1 commit to trans-dec-proc • a070f0e…40816bb • 
3 days ago

fix comments spacing

jurajsiccreated trans-dec-proc • a070f0e • 
5 days ago

Deleted branch

vhavlenadeleted transducers • 
13 days ago

Merge pull request #209 from VeriFIT/transducers

Pull request merge
vhavlenapushed 16 commits to devel • 5227eea…eb33649 • 
13 days ago

Update src/smt/theory_str_noodler/formula.h

vhavlenapushed 1 commit to transducers • 76f6c7a…d7add97 • 
14 days ago

inclusion graph: simplifying condition

vhavlenapushed 1 commit to transducers • c025e58…76f6c7a • 
14 days ago

conparison of predicates; strong_equals

vhavlenapushed 1 commit to transducers • 997b54d…c025e58 • 
14 days ago

update STRACE logging in string_theory_propagation

vhavlenapushed 1 commit to transducers • 74d8ca3…997b54d • 
15 days ago

rename get_word_formula_from_relevant to get_formula_from_relevant

vhavlenapushed 1 commit to transducers • d4fab84…74d8ca3 • 
15 days ago

Update src/test/noodler/formula.cpp

vhavlenapushed 1 commit to transducers • 8bf9274…d4fab84 • 
15 days ago

Update src/test/noodler/inclusion-graph-node.cc

vhavlenapushed 1 commit to transducers • 58a5b2d…8bf9274 • 
15 days ago

Deleted branch

jurajsicdeleted fix_cycle_inclusions • 
16 days ago

Merge pull request #210 from VeriFIT/fix_cycle_inclusions

Pull request merge
jurajsicpushed 2 commits to devel • bc5dad4…5227eea • 
16 days ago

README: version of mata

vhavlenapushed 1 commit to transducers • 13c0fe1…58a5b2d • 
17 days ago

replace_re_all: predicate handling

vhavlenapushed 1 commit to transducers • 4f5d74c…13c0fe1 • 
17 days ago

replace_all: construct transducer constraint

vhavlenapushed 1 commit to transducers • 6cacc38…4f5d74c • 
19 days ago

integration: sketch of handling replace_all

vhavlenapushed 1 commit to transducers • 17e2a18…6cacc38 • 
20 days ago

preprocess: transducer constraint support

vhavlenapushed 1 commit to transducers • ee2c3d0…17e2a18 • 
20 days ago

inclusion graph: transducer constraints support

vhavlenapushed 1 commit to transducers • 3955d3b…ee2c3d0 • 
20 days ago

formula: remove replace_alls; operations with transducer predicate

vhavlenapushed 1 commit to transducers • 564678d…3955d3b • 
22 days ago

fix propagating cycle information for inclusions

jurajsiccreated fix_cycle_inclusions • cba05ff • 
22 days ago

formula: basic transducer and replace_alls support

vhavlenacreated transducers • 564678d • 
24 days ago

Deleted branch

vhavlenadeleted js-binding-action • 
on Jan 6

Merge pull request #208 from VeriFIT/js-binding-action

Pull request merge
vhavlenapushed 17 commits to devel • 44820d7…bc5dad4 • 
on Jan 6

add missing newline

jurajsicpushed 1 commit to js-binding-action • 16f26cd…e97c3b1 • 
on Jan 5

README: js-binding badge

vhavlenapushed 1 commit to js-binding-action • 13f49d8…16f26cd • 
on Jan 5